(declare-fun a () Real)
(declare-fun b () Real)
(declare-fun c () Real)
(declare-fun d () Real)
(declare-fun e () Real)
(declare-fun ep () Real)
(declare-fun f () Real)
(assert (not (exists ((g Real)) (let ((h (div 8 (* b g) a))) (=> (or (> ep 0)) (and (= d c) (or (> f 8) (> h 0)) (> h e) (< g ep)))))))
(check-sat)
